#include "serial.h"
#include "lib.h"

void writechar(char ch){
   while(!(*DBGU_SR & TXRDY)){
   }
   //Serieller bus frei
   *DBGU_THR = ch;
  
}


// write schreibt übergibt einen String an die Serielle Schnittstelle mit Hilfe von writechar
// Das Senden wird abgebrochen durch eine 0 am Ende des Strings
void write(char *str){
  char *tmp;		//Hilfspointer
  tmp = str;
  while(*tmp){		//solange 0 nicht erreicht ist werden die einzelnen Zeichen auf die serielle Schnittstelle gesendet
    writechar(*tmp);
    tmp++;		//string durchgehen
  } 
}

//------------------------------------------------------------------------------
void printf (char *str, ...)
{
  char dest [1024];
  vsnprintf(dest, 1024, str, ((int *) &str) + 1);
  write(dest);
}
//------------------------------------------------------------------------------

